#include "api.h"

//#define M_W 1337    /* must not be zero */
//#define M_Z 3711    /* must not be zero */
//
//int random_number(int m_w, int m_z) {
//
//  m_z = 36969 * (m_z & 65535) + (m_z >> 16);
//  m_w = 18000 * (m_w & 65535) + (m_w >> 16);
//  return (m_z << 16) + m_w;  /* 32-bit result */
//
//}

void supervised_spawn(int32_t supervisor_pid);
